1

A Geometric View of Partial Order Reduction

Year:
2013
Language:
english
File:
PDF, 339 KB
english, 2013
2

Directed Algebraic Topology and Concurrency ||

Year:
2016
Language:
english
File:
PDF, 6.21 MB
english, 2016
3

The structure of first-order causality

Year:
2011
Language:
english
File:
PDF, 2.24 MB
english, 2011
5

Iterated Chromatic Subdivisions are Collapsible

Year:
2015
Language:
english
File:
PDF, 5.10 MB
english, 2015
9

Geometric and combinatorial views on asynchronous computability

Year:
2018
Language:
english
File:
PDF, 1.18 MB
english, 2018
11

A Categorical Theory of Patches

Year:
2013
Language:
english
File:
PDF, 342 KB
english, 2013